$\mathcal{H}(3,1^5)$ Extra Branching Occurs Over Two Points

This notebook addresses the case where there is a simple zero over at least three of the four 2-torsion points. The fourth 2-torsion point has a triple zero above it and no other zero, and it descends to $\{(0,1), (1,1)\}$. The two remaining simple zeros descend to one of the points in $\{(0,0), (1,0)\}$.

We recall that in $\mathcal{H}(3,1^5)$, $d_{opt} = 16$ and by the arrangement above, there is a 2-torsion point in the boundary of each horizontal cylinder that has exactly one simple zero above it.

In [1]:
import re

Step 1

In [2]:
#This loads all of the 1-cylinder diagrams in H(2,1,1) formatted as python lists

H3_1_cyl_diags = [[[[0, 2, 5, 3, 1, 4], [0, 2, 3, 1, 5, 4]]], 
                  [[[0, 5, 2, 3, 4, 1], [0, 2, 4, 5, 3, 1]]]]

H1t4_cyl_diags = [[[[0, 3, 7, 4, 1, 2, 6, 5], [0, 3, 6, 4, 1, 2, 7, 5]]], 
                  [[[0, 7, 2, 1, 6, 4, 5, 3], [0, 6, 7, 5, 2, 1, 4, 3]]], 
                  [[[0, 7, 5, 1, 3, 2, 4, 6], [0, 1, 4, 7, 3, 6, 5, 2]]], 
                  [[[0, 7, 5, 2, 3, 4, 6, 1], [0, 2, 4, 7, 6, 5, 3, 1]]]]

#This loads all of the functions for processing cylinder diagrams

%run ./ST5_fcns/cyl_diag_fcns.ipynb

H3_1_vertex_data = strat_odd_sc(H3_1_cyl_diags)

H1t4_vertex_data = strat_odd_sc(H1t4_cyl_diags)

Among partitions of $32$ into six numbers the minimum of the maximum numbers among all partitions is $\lceil 2d_{opt}/6 \rceil = 6$.

Solving $32 - 2(6) - 2t_0 \geq 0$ implies that the largest value of $t_0$ is $10$.

Among partitions of $32$ into eight numbers the minimum of the maximum numbers among all partitions is $2d_{opt}/8 = 4$. Since there must be at least $4$ odd numbers, the minimum of the largest numbers is $5$.

Solving $32 - 2s_0 - 2(5) \geq 0$ implies that the largest value of $s_0$ is $11$.

In summary:

$$6 \leq s_0 \leq 10 \text{ and } 5 \leq t_0 \leq 11$$

Step 2

In [3]:
#This loads all of the standard partition functions needed for nearly every case
#It also loads the partition evaluate function

%run ./ST5_fcns/partition_functions.ipynb


if True:
    create_sc_partition_file((), part_length = 6, t0_range = range(6,11), d_opt = 16,
                             filename_root = 'ST5_data//H_3_1t5//2_branch_point//partitions//H3_1_part')

if True:
    create_sc_partition_file((), part_length = 8, t0_range = range(5,12), d_opt = 16,
                             filename_root = 'ST5_data//H_3_1t5//2_branch_point//partitions//H1t4_part')


#Load the partitions

if True:
    with open('ST5_data//H_3_1t5//2_branch_point//partitions//H3_1_part', 'r') as file:
        H3_1_part = eval_part(file.read())

if True:
    with open('ST5_data//H_3_1t5//2_branch_point//partitions//H1t4_part', 'r') as file:
        H1t4_part = eval_part(file.read())
ST5_data//H_3_1t5//2_branch_point//partitions//H3_1_part written
ST5_data//H_3_1t5//2_branch_point//partitions//H1t4_part written

Step 3

In [7]:
#This loads all of the align_list functions needed for nearly every case
#This includes the align_list evaluate function

%run ./ST5_fcns/align_list_fcns.ipynb

if True:
    for t in range(6,11):
        align_list_write_file(H3_1_part, H3_1_vertex_data, 
                              'ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list', 
                              t0 = t)

if True:
    for t in range(5,12):
        align_list_write_file(H1t4_part, H1t4_vertex_data, 
                              'ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list', 
                              t0 = t)
3 partitions to search
342 partitions to search
405 partitions to search
1506 partitions to search
960 partitions to search
240 partitions to search
3570 partitions to search
6780 partitions to search
11280 partitions to search
('10000 partitions processed', (8, 5, 1, 2, 2, 1, 7, 6))
7910 partitions to search
8750 partitions to search
4580 partitions to search

Step 4

In [8]:
#This loads all of the visible_align_list functions needed for nearly every case

%run ./ST5_fcns/align_list_visible_fcns.ipynb

if True:
    generate_all_align_list_visible_files(range(5,12), range(6,11), 16, 
                                          'ST5_data//H_3_1t5//2_branch_point//', 
                                          'align_list//H3_1_align_list_', 
                                          'align_list_visible//H3_1_align_list_')

if True:
    generate_all_align_list_visible_files(range(6,11), range(5,12), 16, 
                                          'ST5_data//H_3_1t5//2_branch_point//', 
                                          'align_list//H1t4_align_list_', 
                                          'align_list_visible//H1t4_align_list_')
total_list generated
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_6 read
3 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_6_visible_5 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_6 read
3 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_6_visible_6 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_6 read
3 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_6_visible_7 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_6 read
3 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_6_visible_8 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_6 read
3 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_6_visible_9 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_6 read
3 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_6_visible_10 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_7 read
342 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_7_visible_5 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_7 read
342 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_7_visible_6 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_7 read
342 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_7_visible_7 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_7 read
342 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_7_visible_8 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_7 read
342 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_7_visible_9 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_8 read
405 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_8_visible_5 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_8 read
405 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_8_visible_6 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_8 read
405 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_8_visible_7 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_8 read
405 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_8_visible_8 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_9 read
1506 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_9_visible_5 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_9 read
1506 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_9_visible_6 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_9 read
1506 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_9_visible_7 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_10 read
960 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_10_visible_5 written
ST5_data//H_3_1t5//2_branch_point//align_list//H3_1_align_list_10 read
960 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_10_visible_6 written
total_list generated
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_5 read
576 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_5_visible_6 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_5 read
576 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_5_visible_7 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_5 read
576 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_5_visible_8 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_5 read
576 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_5_visible_9 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_5 read
576 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_5_visible_10 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_6 read
8568 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_6_visible_6 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_6 read
8568 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_6_visible_7 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_6 read
8568 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_6_visible_8 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_6 read
8568 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_6_visible_9 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_6 read
8568 configurations to search
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_6_visible_10 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_7 read
16272 configurations to search
(10000, ((7, 7, 2, 2, 3, 3, 4, 4), [[[7, 5, 1, 3, 2, 4, 6, 0], [0, 1, 4, 7, 3, 6, 5, 2]], [[2, 4, 6, 0, 7, 5, 1, 3], [0, 1, 4, 7, 3, 6, 5, 2]], [[0, 7, 5, 1, 3, 2, 4, 6], [0, 1, 4, 7, 3, 6, 5, 2]], [[3, 2, 4, 6, 0, 7, 5, 1], [0, 1, 4, 7, 3, 6, 5, 2]], [[1, 3, 2, 4, 6, 0, 7, 5], [0, 1, 4, 7, 3, 6, 5, 2]], [[6, 0, 7, 5, 1, 3, 2, 4], [0, 1, 4, 7, 3, 6, 5, 2]], [[5, 1, 3, 2, 4, 6, 0, 7], [0, 1, 4, 7, 3, 6, 5, 2]], [[4, 6, 0, 7, 5, 1, 3, 2], [0, 1, 4, 7, 3, 6, 5, 2]]]))
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_7_visible_6 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_7 read
16272 configurations to search
(10000, ((7, 7, 2, 2, 3, 3, 4, 4), [[[7, 5, 1, 3, 2, 4, 6, 0], [0, 1, 4, 7, 3, 6, 5, 2]], [[2, 4, 6, 0, 7, 5, 1, 3], [0, 1, 4, 7, 3, 6, 5, 2]], [[0, 7, 5, 1, 3, 2, 4, 6], [0, 1, 4, 7, 3, 6, 5, 2]], [[3, 2, 4, 6, 0, 7, 5, 1], [0, 1, 4, 7, 3, 6, 5, 2]], [[1, 3, 2, 4, 6, 0, 7, 5], [0, 1, 4, 7, 3, 6, 5, 2]], [[6, 0, 7, 5, 1, 3, 2, 4], [0, 1, 4, 7, 3, 6, 5, 2]], [[5, 1, 3, 2, 4, 6, 0, 7], [0, 1, 4, 7, 3, 6, 5, 2]], [[4, 6, 0, 7, 5, 1, 3, 2], [0, 1, 4, 7, 3, 6, 5, 2]]]))
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_7_visible_7 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_7 read
16272 configurations to search
(10000, ((7, 7, 2, 2, 3, 3, 4, 4), [[[7, 5, 1, 3, 2, 4, 6, 0], [0, 1, 4, 7, 3, 6, 5, 2]], [[2, 4, 6, 0, 7, 5, 1, 3], [0, 1, 4, 7, 3, 6, 5, 2]], [[0, 7, 5, 1, 3, 2, 4, 6], [0, 1, 4, 7, 3, 6, 5, 2]], [[3, 2, 4, 6, 0, 7, 5, 1], [0, 1, 4, 7, 3, 6, 5, 2]], [[1, 3, 2, 4, 6, 0, 7, 5], [0, 1, 4, 7, 3, 6, 5, 2]], [[6, 0, 7, 5, 1, 3, 2, 4], [0, 1, 4, 7, 3, 6, 5, 2]], [[5, 1, 3, 2, 4, 6, 0, 7], [0, 1, 4, 7, 3, 6, 5, 2]], [[4, 6, 0, 7, 5, 1, 3, 2], [0, 1, 4, 7, 3, 6, 5, 2]]]))
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_7_visible_8 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_7 read
16272 configurations to search
(10000, ((7, 7, 2, 2, 3, 3, 4, 4), [[[7, 5, 1, 3, 2, 4, 6, 0], [0, 1, 4, 7, 3, 6, 5, 2]], [[2, 4, 6, 0, 7, 5, 1, 3], [0, 1, 4, 7, 3, 6, 5, 2]], [[0, 7, 5, 1, 3, 2, 4, 6], [0, 1, 4, 7, 3, 6, 5, 2]], [[3, 2, 4, 6, 0, 7, 5, 1], [0, 1, 4, 7, 3, 6, 5, 2]], [[1, 3, 2, 4, 6, 0, 7, 5], [0, 1, 4, 7, 3, 6, 5, 2]], [[6, 0, 7, 5, 1, 3, 2, 4], [0, 1, 4, 7, 3, 6, 5, 2]], [[5, 1, 3, 2, 4, 6, 0, 7], [0, 1, 4, 7, 3, 6, 5, 2]], [[4, 6, 0, 7, 5, 1, 3, 2], [0, 1, 4, 7, 3, 6, 5, 2]]]))
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_7_visible_9 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_8 read
27072 configurations to search
(10000, ((8, 4, 2, 7, 1, 1, 7, 2), [[[1, 2, 6, 5, 0, 3, 7, 4], [0, 3, 6, 4, 1, 2, 7, 5]], [[2, 6, 5, 0, 3, 7, 4, 1], [0, 3, 6, 4, 1, 2, 7, 5]], [[3, 7, 4, 1, 2, 6, 5, 0], [0, 3, 6, 4, 1, 2, 7, 5]], [[0, 3, 7, 4, 1, 2, 6, 5], [0, 3, 6, 4, 1, 2, 7, 5]]]))
(20000, ((8, 2, 2, 6, 5, 1, 3, 5), [[[5, 3, 0, 7, 2, 1, 6, 4], [0, 6, 7, 5, 2, 1, 4, 3]], [[1, 6, 4, 5, 3, 0, 7, 2], [0, 6, 7, 5, 2, 1, 4, 3]]]))
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_8_visible_6 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_8 read
27072 configurations to search
(10000, ((8, 4, 2, 7, 1, 1, 7, 2), [[[1, 2, 6, 5, 0, 3, 7, 4], [0, 3, 6, 4, 1, 2, 7, 5]], [[2, 6, 5, 0, 3, 7, 4, 1], [0, 3, 6, 4, 1, 2, 7, 5]], [[3, 7, 4, 1, 2, 6, 5, 0], [0, 3, 6, 4, 1, 2, 7, 5]], [[0, 3, 7, 4, 1, 2, 6, 5], [0, 3, 6, 4, 1, 2, 7, 5]]]))
(20000, ((8, 2, 2, 6, 5, 1, 3, 5), [[[5, 3, 0, 7, 2, 1, 6, 4], [0, 6, 7, 5, 2, 1, 4, 3]], [[1, 6, 4, 5, 3, 0, 7, 2], [0, 6, 7, 5, 2, 1, 4, 3]]]))
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_8_visible_7 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_8 read
27072 configurations to search
(10000, ((8, 4, 2, 7, 1, 1, 7, 2), [[[1, 2, 6, 5, 0, 3, 7, 4], [0, 3, 6, 4, 1, 2, 7, 5]], [[2, 6, 5, 0, 3, 7, 4, 1], [0, 3, 6, 4, 1, 2, 7, 5]], [[3, 7, 4, 1, 2, 6, 5, 0], [0, 3, 6, 4, 1, 2, 7, 5]], [[0, 3, 7, 4, 1, 2, 6, 5], [0, 3, 6, 4, 1, 2, 7, 5]]]))
(20000, ((8, 2, 2, 6, 5, 1, 3, 5), [[[5, 3, 0, 7, 2, 1, 6, 4], [0, 6, 7, 5, 2, 1, 4, 3]], [[1, 6, 4, 5, 3, 0, 7, 2], [0, 6, 7, 5, 2, 1, 4, 3]]]))
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_8_visible_8 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_9 read
18984 configurations to search
(10000, ((9, 2, 2, 8, 3, 3, 2, 3), [[[0, 7, 2, 1, 6, 4, 5, 3], [0, 6, 7, 5, 2, 1, 4, 3]], [[2, 1, 6, 4, 5, 3, 0, 7], [0, 6, 7, 5, 2, 1, 4, 3]]]))
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_9_visible_6 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_9 read
18984 configurations to search
(10000, ((9, 2, 2, 8, 3, 3, 2, 3), [[[0, 7, 2, 1, 6, 4, 5, 3], [0, 6, 7, 5, 2, 1, 4, 3]], [[2, 1, 6, 4, 5, 3, 0, 7], [0, 6, 7, 5, 2, 1, 4, 3]]]))
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_9_visible_7 written
ST5_data//H_3_1t5//2_branch_point//align_list//H1t4_align_list_10 read
21000 configurations to search
(10000, ((10, 6, 2, 1, 1, 1, 9, 2), [[[1, 2, 6, 5, 0, 3, 7, 4], [0, 3, 6, 4, 1, 2, 7, 5]], [[2, 6, 5, 0, 3, 7, 4, 1], [0, 3, 6, 4, 1, 2, 7, 5]], [[3, 7, 4, 1, 2, 6, 5, 0], [0, 3, 6, 4, 1, 2, 7, 5]], [[0, 3, 7, 4, 1, 2, 6, 5], [0, 3, 6, 4, 1, 2, 7, 5]]]))
(20000, ((10, 1, 1, 2, 7, 1, 2, 8), [[[4, 5, 3, 0, 7, 2, 1, 6], [0, 6, 7, 5, 2, 1, 4, 3]], [[3, 0, 7, 2, 1, 6, 4, 5], [0, 6, 7, 5, 2, 1, 4, 3]]]))
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_10_visible_6 written

Step 5

In [9]:
#At this point, none of the files above need to be loaded for this to run.
#Once the files above are generated, the file sizes are small enough that these can be loaded on the fly.

#This loads all of the visible_align_list functions needed for nearly every case

%run ./ST5_fcns/combine_align_list_visible_fcns.ipynb

if True:
    combine_align_list_visible_write_file(s_range = range(6,11), 
                                          s_filename_root = 'align_list_visible//H3_1_align_list_', 
                                          t_range = range(5,12), 
                                          t_filename_root = 'align_list_visible//H1t4_align_list_',
                                          d_opt = 16, 
                                          root_dir = 'ST5_data//H_3_1t5//2_branch_point//')
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_5_visible_6 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_6_visible_5 read
empty list
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_6_visible_6 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_6_visible_6 read
empty list
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_7_visible_6 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_6_visible_7 read
empty list
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_8_visible_6 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_6_visible_8 read
empty list
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_9_visible_6 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_6_visible_9 read
empty list
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_10_visible_6 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_6_visible_10 read
empty list
empty list
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_5_visible_7 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_7_visible_5 read
empty list
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_6_visible_7 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_7_visible_6 read
empty list
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_7_visible_7 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_7_visible_7 read
9*3=27 combinations to check
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_8_visible_7 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_7_visible_8 read
empty list
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_9_visible_7 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_7_visible_9 read
empty list
empty list
empty list
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_5_visible_8 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_8_visible_5 read
empty list
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_6_visible_8 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_8_visible_6 read
empty list
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_7_visible_8 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_8_visible_7 read
empty list
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_8_visible_8 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_8_visible_8 read
empty list
empty list
empty list
empty list
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_5_visible_9 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_9_visible_5 read
empty list
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_6_visible_9 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_9_visible_6 read
empty list
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_7_visible_9 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_9_visible_7 read
empty list
empty list
empty list
empty list
empty list
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_5_visible_10 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_10_visible_5 read
empty list
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H1t4_align_list_6_visible_10 read
ST5_data//H_3_1t5//2_branch_point//align_list_visible//H3_1_align_list_10_visible_6 read
empty list
empty list
empty list
empty list
empty list
empty list
admissible_list written with 18 elements

Step 6

In [1]:
#This loads all of the vertical permutation check functions needed for nearly every case
#This function can be run once admissible_list is written and without needing to load any other file

%run ./ST5_fcns/vert_perm_check_fcns.ipynb

if True:
    vert_perm_check_file(16, 'ST5_data//H_3_1t5//2_branch_point//')
admissible_list read with 18 candidates
admissible_list_vert_perm_check written with 0 elements